<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head></head>
<body bgcolor="white">

<p>Contains classes for generating menu html. </p>

<p>Also contains a servlet for generating the menu html dynamically, but the latter is not used at the moment of writing this document. </p>

</body>
</html>